Separation of synchronous and asynchronous communication via testing
نویسندگان
چکیده
منابع مشابه
Separation of synchronous and asynchronous communication via testing
One of the early results about the asynchronous π-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s t...
متن کاملOn Synchronous and Asynchronous Communication Paradigms
The π-calculus, its asynchronous version and Boudol’s mapping from the former language to the latter one are well-known mathematical objects in theoretical computer science. It is also well-known that the mapping is not fully-abstract w.r.t. most of the semantics defined over these two languages. In this paper we study and fix conditions on the existence of fully-abstract results for Boudol’s m...
متن کاملSynchronous and Asynchronous Group Communication (long Version)
In distributed systems, high service availability can be achieved by letting a group of servers replicate the service state; if some servers fail, the surviving ones know the service state and can continue to provide the service. Group communication services, such as membership and atomic broadcast, have been proposed to solve the problem of maintaining server state replica consistency. Group m...
متن کاملDefining Asynchronous and Synchronous E-learning Asynchronous Synchronous E-learning Three Types of Communication Three Types of Communication*
Today’s workforce is expected to be highly educated and to continually improve skills and acquire new ones by engaging in lifelong learning. E-learning, here defined as learning and teaching online through network technologies, is arguably one of the most powerful responses to the growing need for education.1 Some researchers have expressed concern about the learning outcomes for e-learners, bu...
متن کاملAsynchronous Communication Using Synchronous IPC Primitives
The asynchronous communication model provides applications with parallelism, message buffering, and a convenient programming model. In contrast to the synchronous model however, it is inherently associated with policy regarding the management and delivery of buffered messages. Communication partners are dependent on controlling these policies in order to achieve additional semantics and perform...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.07.009